41. Derivation and computation: taking the Curry-Howard correspondence seriously
پدیدآورنده : Simmons, Harold
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Lambda calculus,، Type theory,، Curry-Howard isomorphism
رده :
QA
9
.
54
.
S55
2000
42. Descartes
پدیدآورنده : \ Georges Dicker.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Descartes, Rene,1596-1650., Meditationes de prima philosophia.,First philosophy.,God-- Proof, Ontological.,Methodology.,Knowledge, Theory of.,دکارت، رنه، ۱۵۹۶-۱۶۵۰م.,فلسفه اولی ,خدا -- اثبات هستیشناختی ,روششناسی ,شناخت (فلسفه)
رده :
B1854
.
D53D4
2013
43. Explanation and Proof in Mathematics
پدیدآورنده : \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
44. Explanation and proof in mathematics
پدیدآورنده : / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Mathematics, Philosophy,Beweistheorie, swd,Philosophie, swd
رده :
E-BOOK
45. Explanation and proof in mathematics
پدیدآورنده : / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Mathematics, Philosophy
رده :
QA9
.
54
.
E97
2010
46. Explanation and proof in mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ; Mathematics ; Philosophy. ; Beweistheorie ; swd. ; Philosophie ; swd. ;
47. Explanation and proof in mathematics: philosophical and educational perspectives
پدیدآورنده : Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory,Philosophy ، Mathematics
رده :
QA
9
.
54
.
E97
2010
48. Extending the fronters of mathematics:inquiries into ....
پدیدآورنده : / By Edward B.Burger
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Proof theory,Mathematical analysis,Logic symbolic & mathematical
رده :
511
.
36
B954e
49. Extensional Godel functional interpretation; a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
306
50. Extensional Godel functional interpretation : a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
9
.
L8
1973
51. Frege's Notations
پدیدآورنده : \ Gregory Landini
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Frege, Gottlob, 1848-1925.,Proof theory.,Mathematical notation.,فرگ، گاتلاب، ۱۸۴۸ - ۱۹۲۵م.
رده :
QA
9
.
54
.
L32F6
2012
E-Book
,
52. Gentzen-style aximatizations for basic logic
پدیدآورنده : by: Mojtaba Aghaei Foroushani,^AAghaei Foroushani, Mojtaba
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Logic, Symbolic and mathematical,Proof theory
53. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
54. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
55. Handbook of proof theory
پدیدآورنده : edited by Samuel R. Buss
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
H2
56. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2010
57. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
58. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
59. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
60. Hybrid logic and its proof-theory
پدیدآورنده : Brauner, Torben
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
B73H9